Dieter Heckmann (dir.), avec la collaboration de Krzysztof Kwiatkowski, Das Elbinger Kriegsbuch (1383-1409). Rechnungen für städtische Aufgebote

Contribution à l'étude de la virémie chez le mouton Inoculé avec le virus de la Fièvre Aphteuse.

Entretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement

Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseigne...

Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel

Un langage de programmation qui se veut utile doit être capable d’exprimer des programmes qui profitent des services et des mécanismes de communication supportés par le système d’exploitation. Nous examinons dans cet article le problème de la programmation d’applications Win32 dites “natives” sous le système d’exploitation Windows avec le langage fonctionnel Standard ML. Nous introduisons une i...

De la KAM avec un Processus d'Ordre Supe'rieur

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Pompage - turbinage avec de la petite - hydro – une option ?

This paper contributes towards exploring the technical and institutional feasibility of small hydropower storage and pumped-storage schemes in Switzerland. Within the European and Swiss context of the facilitation of renewable energy technologies, which includes small hydropower (SHP), intermittent sources such as solar and wind increase the need for additional energy storage capacities. Hydrop...